Koha online catalog › Results of search for 'su:"Semantics"'

Log in

	1.	Formal semantics of programming languages by Winskel, Glynn. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: MIT Press, 1993Availability: Items available for loan: [Call number: 005.131 WIN] (1). Place hold
	2.	Understanding Z : a specification language and its formal semantics by Spivey, J. M. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1). Place hold
	3.	Journal on data semantic II by Bertino, Elisa \| Jajodia, Sushil \| King, Roger \| Spaccapietra, Stefano. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 SPA] (1). Place hold
	4.	Natural language understanding by Allen, James. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Pearson Education Asia, 2003Availability: Items available for loan: [Call number: 006.35 ALL] (1). Place hold
	5.	Domains and lambda-calculi by Amadio, Roberto M \| Curien, Pierre-Louis. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1). Place hold
	6.	Semantics with applications : an appetizer by Nielson, Flemming \| Nielson, Hanne Riis. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.131 NIE] (1). Place hold
	7.	No cover image available Logic programming : operational semantics and proof theory by Andrews, James H. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 005.131 AND] (1). Place hold

Powered by Koha